Nuprl Definition : frequency
11,40
postcript
pdf
frequency(
f
;
x
) ~ (
p
/
q
) ==
m
,
k
:
.
j
:
. ((
k
<
j
) c
|#{i<
j
|
f
i
eq
x
}/
j
-
p
/
q
| < 1/
m
)
latex
clarification:
frequency(
eq
;
f
;
x
;
p
;
q
) ==
m
:
,
k
:
.
j
:
. ((
k
<
j
) c
|#{i<
j
|
f
i
eq
x
}/
j
-
p
/
q
| < 1/
m
)
latex
Definitions
x
:
A
.
B
(
x
)
,
x
:
A
.
B
(
x
)
,
,
A
c
B
,
a
<
b
,
|
a
/
b
-
p
/
q
| < 1/
m
,
#{i<
j
|
f
i
eq
x
}
FDL editor aliases
frequency
origin